An efficient method for detecting concurrency errors in object-oriented programs
نویسندگان
چکیده
منابع مشابه
Issues in Object-oriented Concurrency
The work described in this paper is a rst attempt to nd a synthesis of concur rency and the object model A representative sample of concurrent object oriented languages has been ana lyzed to identify issues dimensions peculiar to the conjunction of the two features of interest The presentation includes sections that review and develop the basic concepts both in concurrency and the object model ...
متن کاملDetecting Synchronization Defects in Multi-Threaded Object-Oriented Programs
This dissertation describes an efficient and automated approach to determine synchronization defects in multi-threaded object-oriented programs. The approach is based on the key observation that object-oriented programs provide guarantees about data confinement and encapsulation that can be leveraged by the design of a static analysis and a runtime checker. To be practical, the techniques are d...
متن کاملAn Unsupervised Method for Detecting Grammatical Errors
We present an unsupervised method for detecting grammatical errors by inferring negative evidence from edited textual corpora. The system was developed and tested using essay-length responses to prompts on the Test of English as a Foreign Language (TOEFL). The errorrecognition system, ALEK, performs with about 80% precision and 20% recall.
متن کاملDetecting concurrency anomalies in transactional memory programs
Concurrent programs may suffer from concurrency anomalies that may lead to erroneous and unpredictable program behaviors. To ensure program correctness, these anomalies must be diagnosed and corrected. This paper addresses the detection of both lowand high-level anomalies in the Transactional Memory setting. We propose a static analysis procedure and a framework to address Transactional Memory ...
متن کاملEfficient Usage of Concurrency Models in an Object-Oriented Co-design Framework
Increased complexity of micro-electronic systems demands a need for efficient system level models. System level models can provide detailed architectural simulation results to make architectural tradeoffs in the early stages of the design process. For effective system-level design, there is a need for an efficient co-simulation model for precise and speedy system level simulation and design exp...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Science China Information Sciences
سال: 2012
ISSN: 1674-733X,1869-1919
DOI: 10.1007/s11432-012-4751-z